1. ICTAC 2013تTheoretical Aspects of Computing
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
![](/design/images/bookmore.png)
2. Theories of Programming and Formal Methods
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
![](/design/images/bookmore.png)
3. Unifying Theories of Programming and Formal Engineering Methods
پدیدآورنده : / Zhiming Liu, Jim Woodcock, Huibiao Zhu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
![](/design/images/bookmore.png)